правило конъюнкции

См. также в других словарях:

• Правило вывода —         правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… …   Большая советская энциклопедия

• Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

• Формирование понятий (concept learning) — Понятие способ категоризации элементов и демонстрации характера существующих между ними взаимосвязей. В задаче на Ф. п. (concept learning task) определенные признаки стимулов связываются друг с другом в соответствии со специфическим правилом. Нек …   Психологическая энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• Конъюнкция — (от лат. conjunctio союз, связь) логическая операция, по своему применению максимально приближённая к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Конъюнкция может быть бинарной операцией, то есть, иметь два… …   Википедия

• Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

• Логическое умножение — Конъюнкция логическая операция, по своему применению максимально приближенная к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Это бинарная инфиксная операция, то есть, она имеет два операнда и ставится между ними.… …   Википедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …   Философская энциклопедия

• Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия